大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Public Key Infrastructure [electronic resource] : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers

0
索取号:
作者:Chadwick、 David.、Zhao、 Gansen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

0
索取号:
作者:Kutvonen、 Lea.、Alonistioti、 Nancy.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multiple Classifier Systems [electronic resource] : 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedings

0
索取号:
作者:Oza、 Nikunj C.、Polikar、 Robi.、Kittler、 Josef.、Roli、 Fabio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Discrete-time Sliding Mode Control [electronic resource] : A Multirate Output Feedback Approach

0
索取号:
作者:Bandyopadhyay、 B.、Janardhanan、 S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Control of Nonlinear and Hybrid Process Systems [electronic resource] : Designs for Uncertainty, Constraints and Time-Delays

0
索取号:
作者:Christofides、 Panagiotis.、El-Farra、 Nael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

0
索取号:
作者:Steffen、 Martin.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multi-point Interaction with Real and Virtual Objects [electronic resource]

0
索取号:
作者:Barbagli、 Federico.、Prattichizzo、 Domenico.、Salisbury、 Kenneth.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

0
索取号:
作者:Baumeister、 Hubert.、Marchesi、 Michele.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Power-Aware Computer Systems [electronic resource] : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

0
索取号:
作者:Falsafi、 Babak.、VijayKumar、 T. N.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

0
索取号:
作者:Ban芒tre、 Jean-Pierre.、Fradet、 Pascal.、Giavitto、 Jean-Louis.、Michel、 Olivier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Hiding [electronic resource] : 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005. Revised Selected Papers

0
索取号:
作者:Barni、 Mauro.、Herrera-Joancomart铆、 Jordi.、Katzenbeisser、 Stefan.、P茅rez-Gonz谩lez、 Fernando.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

0
索取号:
作者:Kratsch、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database Programming Languages [electronic resource] : 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

0
索取号:
作者:Bierman、 Gavin.、Koch、 Christoph.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

0
索取号:
作者:Filli芒tre、 Jean-Christophe.、Paulin-Mohring、 Christine.、Werner、 Benjamin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

0
索取号:
作者:Hong、 Hoon.、Wang、 Dongming.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Constraint-Based Mining and Inductive Databases [electronic resource] : European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers

0
索取号:
作者:Boulicaut、 Jean-Fran莽ois.、Raedt、 Luc.、Mannila、 Heikki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类